Monitoring floating-point error propagation in scientific computation
نویسندگان
چکیده
منابع مشابه
Type System Support for Floating-Point Computation
Floating-point arithmetic is often seen as untrustworthy. We show how manipulating precisions according to the following rules of thumb enhances the reliability of and removes surprises from calculations: • Store data narrowly, • compute intermediates widely, and • derive properties widely. Further, we describe a typing system for floating point that both supports and is supported by these rule...
متن کاملThe Complexity of Accurate Floating Point Computation
Our goal is to find accurate and efficient algorithms, when they exist, for evaluating rational expressions containing floating point numbers, and for computing matrix factorizations (like LU and the SVD) of matrices with rational expressions as entries. More precisely, accuracy means the relative error in the output must be less than one (no matter how tiny the output is), and efficiency means...
متن کاملFloating-Point Computation with Just Enough Accuracy
Most mathematical formulae are defined in terms of operations on real numbers, but computers can only operate on numeric values with finite precision and range. Using floating-point values as real numbers does not clearly identify the precision with which each value must be represented. Too little precision yields inaccurate results; too much wastes computational resources. The popularity of mu...
متن کاملSecure Computation on Floating Point Numbers
Secure computation undeniably received a lot of attention in the recent years, with the shift toward cloud computing offering a new incentive for secure computation and outsourcing. Surprisingly little attention, however, has been paid to computation with non-integer data types. To narrow this gap, in this work we develop efficient solutions for computation with real numbers in floating point r...
متن کاملFloating-Point Numbers with Error Estimates (revised)
The original work [25] is here reconsidered, so many years after. The old text has been revised, plus several considerations have been added, in order to clarify some controversial aspects of the work, and to envision possible developments. A section has been added, to review the effects of the original paper. The study addresses the problem of precision in floating-point (FP) computations. A m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1980
ISSN: 0898-1221
DOI: 10.1016/0898-1221(80)90057-7